Appearing in English for the first time, Schelling’s 1842 lectures develop the idea that many philosophical concepts are born of religious-mythological notions.

Through clear explanation of its characteristic concepts and doctrines, and paying close attention to the published works of its philosophers, the volume ...

There exist important deductive systems, such as the non-normal modal logics, that are not proper subjects of classical algebraic logic in the sense that their metatheory cannot be reduced to the equational metatheory of any particular class of algebras. Nevertheless, most of these systems are amenable to the methods of universal algebra when applied to the matrix models of the system. In the present paper we consider a wide class of deductive systems of this kind called protoalgebraic logics. These include (...) almost all (non-pathological) systems of prepositional logic that have occurred in the literature. The relationship between the metatheory of a protoalgebraic logic and its matrix models is studied. The following results are obtained for any finite matrix model U of a filter-distributive protoalgebraic logic : (I) The extension U of is finitely axiomatized (provided has only finitely many inference rules); (II) U has only finitely many extensions. (shrink)

W. J. Mander presents the first ever synoptic history of British Idealism, the school of thought which dominated English-language philosophy from the 1860s to the early 20th century. He restores to its proper place this neglected period of philosophy, introducing the exponents of Idealism and explaining its distinctive concepts and doctrines.

This paper is based on Lectures 1, 2 and 4 in the series of ten lectures titled “Algebraic Structures for Logic” that Professor Blok and I presented at the Twenty Third Holiday Mathematics Symposium held at New Mexico State University in Las Cruces, New Mexico, January 8-12, 1999. These three lectures presented a new approach to the algebraization of deductive systems, and after the symposium we made plans to publish a joint paper, to be written by Blok, further developing these (...) ideas. That project was still incomplete when Blok died. In fact, there is no indication that he had prepared a draft of the paper, and we do not know what new material he intended to include. I am therefore not in a position to complete the project as he had envisioned it. So, I have settled for the more limited objective of presenting the material from the three lectures, leaving to others the task of adapting the techniques used there to more general situations. (shrink)

What precisely, W. J. T. Mitchell asks, are pictures (and theories of pictures) doing now, in the late twentieth century, when the power of the visual is said to be greater than ever before, and the "pictorial turn" supplants the "linguistic turn" in the study of culture? This book by one of America's leading theorists of visual representation offers a rich account of the interplay between the visible and the readable across culture, from literature to visual art to the mass (...) media. (shrink)

Modal logics are studied in their algebraic disguise of varieties of so-called modal algebras. This enables us to apply strong results of a universal algebraic nature, notably those obtained by B. Jonsson. It is shown that the degree of incompleteness with respect to Kripke semantics of any modal logic containing the axiom □ p → p or containing an axiom of the form $\square^mp \leftrightarrow\square^{m + 1}p$ for some natural number m is 2 ℵ 0 . Furthermore, we show that (...) there exists an immediate predecessor of classical logic (axiomatized by $p \leftrightarrow \square p$ ) which is not characterized by any finite algebra. The existence of modal logics having 2 ℵ 0 immediate predecessors is established. In contrast with these results we prove that the lattice of extensions of S4 behaves much better: a logic extending S4 is characterized by a finite algebra iff it has finitely many extensions and any such logic has only finitely many immediate predecessors, all of which are characterized by a finite algebra. (shrink)

W. J. Mander provides a brief introduction to and critical assessment of the thought of the greatest of the British Idealist philosophers, F. H. Bradley (1846-1924), whose work has been largely neglected in this century. After a general introduction to Bradley's metaphysics and its logical foundations, Mander shows that much of Bradley's philosophy has been seriously misunderstood. Mander argues that any adequate treatment of Bradley's thought must take full account of his unique dual inheritance from the traditions of British empiricism (...) and Hegelian rationalism. The scholarship of recent years is assessed, and new interpretations are offered of Bradley's views about truth, predication, and relations, and of his arguments for idealism. (shrink)

"[Mitchell] undertakes to explore the nature of images by comparing them with words, or, more precisely, by looking at them from the viewpoint of verbal language.... The most lucid exposition of the subject I have ever read."—Rudolf Arnheim, _Times Literary Supplement_.

This is the first full assessment of British philosophy in the 19th century. Specially written essays by leading experts explore the work of the key thinkers of this remarkable period in intellectual history, covering logic and scientific method, metaphysics, religion, positivism, the impact of Darwin, and ethical, social, and political theory.

This paper argues that a strong thesis of divine providence, whereby God is understood as in complete control of all things, entails pantheism, the thesis that the universe is not ontologically distinct from God. In normal discourse, we distinguish a plan from, on the one hand, the state of affairs which realizes that plan—its execution or expression—and, on the other hand, the person or group whose plan it is. However, with respect to an omnipotent God who displays complete providence, neither (...) of these two distinctions holds. We cannot separate person from plan, or plan from world, and in consequence, neither can we separate person from world, ergo pantheism. Accordingly, the argument of this paper comes in two parts maintaining, first, the impossibility of distinguishing between God’s plan and its execution and, second, the impossibility of distinguishing God himself from his plan. (shrink)

We study modal logics in the setting of varieties of modal algebras. Any variety of modal algebras generated by a finite algebra — such, a variety is called tabular — has only finitely many subvarieties, i.e. is of finite height. The converse does not hold in general. It is shown that the converse does hold in the lattice of varieties of K4-algebras. Hence the lower part of this lattice consists of tabular varieties only. We proceed to show that there is (...) a continuum of pretabular varieties of K4-algebras — those are the non-tabular varieties all of whose proper subvarieties are tabular — in contrast with Maksimova's result that there are only five pretabular varieties of S4-algebras. (shrink)

This volume of Critical Readings provides an overview of recent scholarship about Japanese thought, as it took shape during the Edo Period. It contains articles about all participants in the intellectual debate: Buddhism, Confucianism, National Studies, and Dutch Learning.

W. J. Mander examines the nature of idealist ethics, that is to say, the form and content of ethical belief most typically adopted by philosophical idealists. His inquiry has two aims. The first is historical: from the record of past philosophy, Mander demonstrates that there exists a discernible idealist approach to moral philosophy; a tradition of 'idealist ethics', and examines its characteristic marks and varieties. The second aim is apologetic. He argues that such idealist ethics offers an attractive way of (...) looking at moral questions and that it has much to contribute to contemporary discussion. In particular he argues that Idealist ethics have the power to cut through the sterile opposition between moral realism and moral anti-realism. To be an idealist is precisely to hold that the universe is so constituted that things are real if and only if they are ideal; to hold that uncovering in something the work of mind makes it more not less significant. (shrink)